COMMENT ⊗   VALID 00001 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 ENDMK
C⊗;
∂22-Oct-79  1035	JRA  	updates  
To:   "@TLC.DIS[1,JRA]" at SU-AI 
First, these  updates are  status reports  on our  progress. They  are  an
attempt to be somewhat  democratic. You may respond  to them if you  wish.
You may ignore them if you wish.   Each will include a "respond by"  date;
the date for this one is Oct 25, 1979.

The  topic:  It  has  been  suggested  that  North  Holland  publish   the
proceedings as a book. They require that conference participants  purchase
a copy; their estimated costs would  increase the reg. fee by $10-$15.  Is
it worth it? Are there academic or "psychic" benefits to having a paper in
a published proceedings versus proceedings produced by us? Clearly the cost
of a local publishing job is much less.

other info: Patrick Greussay has joined us. I am still trying to locate
someone in England. Rod Burstall, Mike Gordon, and Chris Wadsworth have
been tried; I'm back on the phone tomorrow. Suggestions?

					john

∂24-Oct-79  1041	JRA  	lisp conference    
To:   "@TLC.DIS[1,JRA]" at SU-AI 
Our committee is formed!!! Peter  Landin and Bruce Anderson completed  the
list. I am  attaching a reasonably  complete call for  papers; due to  the
impending demise of SAIL,  I cannot wait to  get the final details  worked
out with North  Holland before posting  this. Therefore the  dates in  the
call reflect a successful contract with NH; if it falls through, the dates
will be revised.   Please decorate  the text with  your favorite  document
producer (I will US MAIL  an xgp-ed, but our xgp  is losing now) and  post
the call  locally, and  get people  stirred  up. With  our topic  and  the
quality of our committee we will have an incredible conference!!

Since SAIL is going away for a while, you will have to call me
for urgent matters; home phone is (408)353-3857 or leave a msg
at SAIL.

call follows:
--------------------------------------------
Oct 24 *********** semi-final DRAFT  ***********

Note: this version assumes that final agreements with North Holland
are acceptable; since SAIL is going down for an indeterminate length of time
it was critical to get this  out. The dates below reflect the eight-week
period that North Holland requires. This revision does NOT change the 
due-date for papers, it squeezes the review and revision periods.
.next page

.select 4
.begin center
CALL FOR PAPERS

1980 LISP Conference
.end
.select 1

The 1980 LISP Conference  hosted by Stanford University,  will be held  on
the Stanford campus, August 24-27, 1980. A proceedings will be published;
tenatively by North Holland.

%2PURPOSE%1
Many areas of contemporary computer science have their spiritual roots  in
developments related to  LISP.  These
areas  include   machine   architecture,   systems   design,   programming
methodology and technology,  and a  theory of computation.   The call  for
papers reflects this breadth.


%2TOPICS%1 
The following  topics are typical, but not exclusive: 
.begin indent 5,10
%2Languages and Theory.%1 
Applicative languages, Object-oriented languages, Proving correctness
of LISP programs, Mathematics and formal semantics of LISP-like  languages.

%2Programming Aspects%1 Programming tools and environments
for LISP-like languages, Applications of these ideas to other languages.

%2Architecture.%1 The design and implementation of LISP hardware,
Adaptation of existing machines, 
Specially designed LISP machines.

%2Applications.%1 Non-traditional applications of LISP. This area, of
course, is not easily categorized.
.end
%2PAPER SUBMITTAL%1 Authors are requested to send four 
copies 
of a full draft paper not exceeding 4500 words,
and a one-page abstract, by  March 14, 1980 to:
.BEGIN tabit1(15)
Conference Head
John R. Allen
Stanford Artificial Intelligence Lab
Stanford University
Stanford California 94305
(415)497-4971
.END
The abstract should provide sufficient detail to allow the committee
to apply  uniform criteria for acceptance. Appropriate references and
comparison to extant work should be included. The papers will be "blind
refereed". Traces of authorship should not appear within the body
of the paper; this information should appear %2only%1 in a cover letter
to the conference head.

Authors will  be notified of acceptance or rejection by May 16, 1980.
For inclusion in the proceedings, final papers are due
 by June 27, 1980.

%2PROGRAM COMMITTEE.%1 The committee consists of:
John R. Allen, 
Bruce Anderson,
Richard Fateman,
Dan Friedman,
Eiichi Goto,
Patrick Greussay,
Tony Hearn,
Carl Hewitt, 
Alan Kay,
Peter Landin,
Joachim Laubsch,
John McCarthy,
Gianfranco Prini,
Erik Sandewall,
Carolyn Talcott,
and
David Wise.


In charge of Local Arrangements is:
.BEGIN TABIT1(15);
Dr. Ruth E. Davis
Department of EECS
University of Santa Clara
Santa Clara, California   95053
(408)984-4358
.END


%2MEETING FORMAT.%1
Besides the formal sessions, we expect to have several
demonstrations, including LISP machines.

Evening sessions  may be established, and informal workshops will be 
encouraged.


%2PANEL DISCUSSION.%1 Tuesday evening, August 26, 1980, there will be a 
panel discussion on the
topic "What is LISP?". Even informal conversations will 
elicit several divergent if not contradictory views of LISP;
a organized effort should prove even more illuminating.